STM: subtype rel function

STM: subtype rel dep function

STM: subtype rel dep function iff

STM: subtype rel product

STM: subtype rel dep product iff

STM: subtype rel sum

STM: subtype rel set

STM: subtype rel list

STM: subtype rel transitivity

ABS: strong-subtype(A;B)

STM: strong-subtype wf

STM: strong-subtype-self

STM: strong-subtype-equal

STM: strong-subtype-ext-equal

STM: strong-subtype transitivity

STM: strong-subtype-void

STM: subtype rel-equal

STM: subtype rel self

STM: strong-subtype-set

STM: strong-subtype-set2

STM: strong-subtype-set3

STM: strong-subtype-product

STM: strong-subtype-dep-product

STM: strong-subtype-union

STM: strong-subtype-list

STM: strong-subtype-l member-type

STM: strong-subtype-l member

STM: strong-subtype-eq1

STM: strong-subtype-eq2

STM: strong-subtype-eq3

STM: strong-subtype-eq4

STM: strong-subtype-member

STM: sq stable subtype rel

STM: sq stable strong-subtype